GAME DESCRIPTION Bloxorz is a free puzzle game. All that we ask is that you help us maintain order. A square peg into a square hole. It's simple. Geometric shapes and their ability to interlock are the basic building blocks of order. If we can't move them around and drop them into place, we have anarchy. We don't want anarchy. We don't want our shapes walking all willy nilly off the sides of platforms, beyond the edge of the grid, or into the oblivion of the unknown beneath it. There is a...
favoritefavoritefavoritefavoritefavorite ( 5 reviews )
71
71
Dec 19, 2017
12/17
by
Juan Manuel Dato Ruiz
texts
eye 71
favorite 0
comment 0
Generates a protocol to make secure a channel like DH. ----------------------- REVIEW 1 --------------------- PAPER: 2 TITLE: New algebra for secure channels AUTHORS: Juan Manuel Dato Ruiz A crackpot-ish paper containing nonsense and vacuous statements. Examples: * p1: "we can study other mecanisms in different numerical bases where we could find the same property with XOR, but granting smaller keys"; this contradicts the fact that n bits cannot carry more than n bits of...
Topics: security, hash, latin squares, DH
200
200
Mar 18, 2011
03/11
by
Juan Manuel Dato
texts
eye 200
favorite 0
comment 0
Demonstration NP is not P by a mechanism where datas generate correspondences hidding information which exists. In bounded systems of information is possible a way to get the knowledge, checking one by one, and a fast way of validation. REVIEW: I see this document is too difficult to get the objectives. I will rewrite it in other way easier and more rigorously, considearing I only need to translate the document and upload here.
Topics: NP, P, entanglement, P-Space, theorem, resolution
47
47
Jan 29, 2016
01/16
by
Juan Manuel Dato
texts
eye 47
favorite 0
comment 0
This is the Master Document from where I will study the way I have to format to show this Technology of sharping SAT. I already do not know if I will be able..., but there is no other way. This or Goodbye.
Topic: sharp
54
54
Jun 22, 2015
06/15
by
Juan Manuel Dato
image
eye 54
favorite 0
comment 0
Borran los mensajes sin moderación previa, sin que el usuario lo sepa, cuando el usuario lo denuncia lo ignoran o lo tratan como a un tonto. Permiten que otros usuarios anónimos increpen o incluso insulten a la víctima. Además el motivo del borrado no es porque el usuario insulte, ni trolee, ni lleve a cabo inundaciones de mensajes: se trata de motivos estratégicos de carácter político. Censura.
Topics: Podemos, secta, democracia, censura, captura
114
114
Jun 19, 2015
06/15
by
Juan Manuel Dato
texts
eye 114
favorite 0
comment 0
La gente se piensa que Podemos es un partido democrático, pero su cúpula se ha ocupado de que no sea así. En realidad, si Podemos ocupa el poder viviremos un tipo de tiranía orientado a la tecnocracia y a la idiocracia.
Topics: podemos, secta, democracia
317
317
Oct 30, 2010
10/10
by
Juan Manuel Dato Ruiz
texts
eye 317
favorite 0
comment 1
FAIL. Bad use of the lemma. The result is a reduction which, perhaps, is not so interesting for the moment.
( 1 reviews )
Topics: Beal, conjeture, maths, integer, exponential, pows, coprimes
351
351
Feb 5, 2011
02/11
by
Juan Manuel Dato Ruiz
texts
eye 351
favorite 0
comment 0
That is a correction to the Cook's Theorem in Spanish and a definitive explanation about NP and P. Tras las ultimas investigaciones sobre los diversos teoremas falsos que hay en la informatica, al final he confeccionado la demostracion de que NP difiere de P partiendo de un proceso de enmarannamiento de la informacion que utilizo para llevar a cabo la creación de un canal seguro a partir de uno inseguro con verificacion. Es por ello que debo corregir el teorema de Cook mientras preparo...
Topics: algebra, NP, P, Cook, Theorem, firma, digital, dinero, electronico, logica
220
220
Aug 17, 2012
08/12
by
Juan Manuel Dato Ruiz
texts
eye 220
favorite 0
comment 1
Here I got the simplest demonstrations that show us the philosophy that makes P=#P and the opposite philosophy of integers P not equals NP. In the DOC the last version reviewed.
( 1 reviews )
Topics: Godel, NP, #P, P
142
142
Aug 18, 2011
08/11
by
Juan Manuel Dato Ruiz
texts
eye 142
favorite 0
comment 0
Aqui se muestra un esbozo sobre distintas estrategias para poder crear un algebra con nuevas dimensiones compatibles con la idea de los cuaterniones. Su conexion con la fisica y su aplicabilidad es algo que aun no se ha ultimado en este documento, aunque muestra una notacion que puede ser util para este tipo de resoluciones. Tambien incluyo un par de clases en Python 2.7 para poder practicar las definiciones propuestas y asi crear una tabla multiplicadora.
Topics: algebra, dimensiones, cuaternion, octanion, fisica, pauli
49
49
Jun 15, 2019
06/19
by
Juan Manuel Dato Ruiz
software
eye 49
favorite 0
comment 0
This is a solution of the Quadratic Assingment Problem based on the Koopmans-Beckmann model. Solved in Polynomial time in Python 3.x.
Topics: NP-Hard, QAP, QAP-KB, SAT
35
35
Jan 26, 2016
01/16
by
Juan Manuel Dato Ruiz
software
eye 35
favorite 0
comment 1
This is a schematic documentation and the code itself that makes possible to calculate sharp problems if they are P-bounded. O(n2) in the worst case. And we can understand why the bound 2^V with V the number of variables works in the formula without any kind of problem.
( 1 reviews )
Topics: #SAT, NP, P
64
64
Jan 14, 2016
01/16
by
Juan Manuel Dato Ruiz
texts
eye 64
favorite 0
comment 1
This method is an approach to get sharp solutions. It works exactly solving SAT to understand how these structures work.
( 1 reviews )
Topics: #SAT, P
76
76
Nov 30, 2015
11/15
by
Juan Manuel Dato Ruiz
texts
eye 76
favorite 0
comment 1
Código en Python que resuelve SAT
( 1 reviews )
Topics: SAT, P, NP
373
373
Jun 17, 2011
06/11
by
Juan Manuel Dato Ruiz
texts
eye 373
favorite 0
comment 0
Este ensayo consiste en la descripcion no revisada (escrita tal como me vino) de lo que defino como ismo. This is a document in Spanish about what is my meaning of ismo.
Topic: filosofia religion ciencia tecnologia consciencia
55
55
Jul 29, 2019
07/19
by
Juan Manuel Dato Ruiz
texts
eye 55
favorite 0
comment 1
Contruccion de un anillo para crear un noetheriano que resuelva cualquier formula de alternancias en tiempo O(n^2 log n).
( 1 reviews )
Topics: NP, SAT, anillo, noether, P
7
7.0
Feb 2, 2018
02/18
by
Juan Manuel Dato Ruiz
texts
eye 7
favorite 0
comment 0
File in Jupyter which shows TQBF ~ SAT in P
Topics: TQBF, SAT, NP, P
7
7.0
Jul 22, 2020
07/20
by
Juan Manuel Dato Ruiz
texts
eye 7
favorite 0
comment 0
Program which calculates the easability of reading a document in Spanish. That is a Lithe version of Cohmetrix which works with little corpus.
Topic: cohmetrix
36
36
Oct 30, 2010
10/10
by
Juan Manuel Dato Ruiz
movies
eye 36
favorite 0
comment 0
We can find a connection between P and SAT if we solves the MATCH problem. Graphically we can understand the steps. I have to translate the formal demonstration, but it will be if there are peaple interested.
Topics: NP, P, SAT, match, NPco, resolution, example, flash, Español
40
40
Dec 31, 2016
12/16
by
Juan Manuel Dato Ruiz
software
eye 40
favorite 0
comment 1
Files in Python 3.0 which solves satisfiability single and fast and when a theorem happens. This is the code from the book "The two Exact Philosophies", where it is commented with some examples. You can buy the book to support this author. Avaliable since 3rd-JAN-2017. https://www.morebooks.de/store/gb/book/the-two-exact-philosophies/isbn/978-3-330-02500-4
( 1 reviews )
Topic: NP co-NP
218
218
Jun 23, 2011
06/11
by
Juan Manuel Dato Ruiz
texts
eye 218
favorite 0
comment 0
Se critica a los pilares del marxismo mientras se sigue defendiendo un modelo planificado. En futuros documentos mostraré un esquema definible dentro de la legislación española y programado en Java.
Topic: planificacion marxismo economia
13
13
May 4, 2018
05/18
by
Juan Manuel Dato Ruiz
texts
eye 13
favorite 0
comment 0
Sistema simple de evaluación de traducciones bajo las técnicas WER y BLEU
Topics: WER, BLEU
32
32
Jun 26, 2021
06/21
by
Juan Manuel Dato Ruiz
texts
eye 32
favorite 0
comment 1
SAT in Cuadratic time and not transcomputational. Easiest algorithm, and another versions for an aleatory TM and for a net of computers. Explanations about security and refutations of NP-co theories and more. Some aclarations about security protocols. First test in Spanish.
( 1 reviews )
Topics: NP, NP-co, SAT, primes
234
234
Jan 25, 2011
01/11
by
Juan Manuel Dato Ruiz
texts
eye 234
favorite 1
comment 0
We can see here a conexion in python 3.0 between SAT3 and P. The #P is still under revision, but it works in a way. IMPROVED with matrices: https://archive.org/details/alternancias
Topic: #P SAT SAT3 satisfiability formula NP MT MTND polinomial
173
173
Mar 18, 2011
03/11
by
Juan Manuel Dato Ruiz
texts
eye 173
favorite 0
comment 0
Here you will read the demonstration SAT3 is in P. This assertion will be not enough to demonstrate NP=P because the problem con solving every formula well formed are more difficult and the NP-completeness Theorem have not got rigurousness.
Topics: NP, P, NP-Co, SAT, SAT3, Match, Boolean Validation, Problem, resolution
6
6.0
Jan 26, 2016
01/16
by
Juan Manuel Dato Ruiz
texts
eye 6
favorite 0
comment 0
Code in Python able of calculating the number of cases of a formula in the analytical way exposed by the author. This author is waiting for making conferences. email: jumadaru@gmail.com
Topics: #SAT, P
50
50
Dec 19, 2017
12/17
by
Juan Manuel Dato Ruiz
texts
eye 50
favorite 0
comment 0
"Paper has moments of insight but is quite rambling" (-3: Strong reject) Have to read to believe. Si por lo menos hubiera sido un consejo reciclable...
Topics: AI, moral, ethics
229
229
Mar 7, 2011
03/11
by
Juan Manuel Dato Ruiz
texts
eye 229
favorite 0
comment 0
The theorem of Cook asserts something that cannot be used. We can find a relation between P and NP in a NP-complete and we can demonstrate NP is not P. Here some explanations that helps viewing the why.
Topics: cook theorem, satisfiability, NP-co, completeness, P, NP, boolean, validity, Cook
505
505
Jan 7, 2011
01/11
by
Juan Manuel Dato Ruiz
texts
eye 505
favorite 0
comment 1
Failed. In lemma 3: A = 2; B = 1; n = 7; x = 3; This is an update from 12/10/16: https://archive.org/details/DemonstrationOfConjetureOfBealInThreePages
favorite ( 1 reviews )
287
287
Aug 16, 2012
08/12
by
Juan Manuel Dato Ruiz
texts
eye 287
favorite 0
comment 0
Al fin ya se puede dar uno por satisfecho, el pleno entendimiento de los problemas NP aparecen aqui reflejados. Estoy especulando con mostrar o no mi tecnologia #P, pero ya se ira viendo. En cualquier caso, esta documentacion pretende ser un primer esbozo para considerar su traduccion al ingles para ver si se publica o no.
Topics: NP, P, #P, cibernetic, spintronic
349
349
Feb 2, 2018
02/18
by
Juan Manuel Dato Ruiz
texts
eye 349
favorite 0
comment 2
Explanations in Jupyter in Python, with formulas in Latex. TQBF ~ SAT in P. Nowadays looking for a Journal to publish this technology. With explanations about both technologies: connectivism and constructivism. Explanations in English and Spanish. Dual. First version in English: https://sede.carm.es/eAConsultaWeb/consulta/mostrarDocumento.do
favoritefavoritefavorite ( 2 reviews )
Topics: pyhton, SAT, TQBF, P, NP, #SAT, FewP, MT
230
230
Feb 9, 2016
02/16
by
Juan Manuel Dato Ruiz
texts
eye 230
favorite 0
comment 1
How we can understand better the technology to make sharp implementations in class P and fast, or even intelligible. These documents in Python 3.0 and presentations for Open Office can be explained in conferences, workshops, etc by the author. email + donations by PayPal: jumadaru@gmail.com License: No for interest for IEEE or ACM Journals. IEEE and ACM are especially not interested in this technology. If you are an author of IEEE or ACM manuscript you are not authorized to use this work,...
( 1 reviews )
Topics: sharp, P, SAT
upload 33
Oct 30, 2010
10/10
archive.org account
person
upload 33
comment 0
favorite 0
